include(${PROJECT_SOURCE_DIR}/CMakeFunctions.cmake)

file( GLOB TEST_PREMISE_SRCS RELATIVE ${CMAKE_CURRENT_SOURCE_DIR} test_*.c )
add_test_suite(
        SUITE check_premise
        RUNNER ../premise/runner_premise.c
        TARGET premise
        SOURCES ${TEST_PREMISE_SRCS})

